Словарь по логике - совместимость

вид отношения между понятиями и суждениями. Два понятия называются совместимыми, если их объемы совпадают полностью или частично, т. е. имеют хотя бы один общий элемент. Напр., понятия "политик" и "спортсмен" частично совпадают по своему объему: имеются люди, которые одновременно являются и политиками, и спортсменами, т. е. включаются в объем и первого, и второго понятия, следовательно, эти понятия совместимы. Понятия "первоклассник" и "политик" не имеют общих элементов в своем объеме, т. е. нет ни одного человека, который одновременно является первоклассником и политиком, следовательно, они несовместимы. Совместимые понятия могут быть: равнообъемными, подчиненными и подчиняющими, перекрещивающимися.

Совместимыми называют такие суждения, которые могут быть вместе истинными, т. е. истинность одного не исключает истинности другого. Напр., суждения "Некоторые люди блондины" и "Некоторые люди не блондины" оба истинны, следовательно, они совместимы. В традиционной логике совместимыми считаются общеутвердительное и частноутвердительное, общеутвердительное и частноотрицательное, частно-утвердительное и частноотрицательное суждения. В математической логике совместимыми называют предложения, которые вместе истинны хотя бы при одном наборе значений переменных. Напр., предложения А & В и А -> В совместимы, так как они одновременно истинны в том случае, когда А истинно и В истинно.